integral of cos(2x)